существенно неразрешимая теория

существенно неразрешимая теория
Mathematics: essentially undecidable theory

Универсальный русско-английский словарь. . 2011.

Игры ⚽ Поможем написать реферат

Смотреть что такое "существенно неразрешимая теория" в других словарях:

  • СУЩЕСТВЕННО НЕРАЗРЕШИМАЯ ТЕОРИЯ — алгоритмически неразрешимая логическая теория, все непротиворечивые расширений к рой также неразрешимы (см. Неразрешимость). Элементарная теория является С. н. т. тогда и только тогда, когда всякая ее модель имеет неразрешимую элементарную теорию …   Математическая энциклопедия

  • Математика —          I. Определение предмета математики, связь с другими науками и техникой.          Математика (греч. mathematike, от máthema знание, наука), наука о количественных отношениях и пространственных формах действительного мира.          «Чистая …   Большая советская энциклопедия

  • АЛГОРИТМ —         [от algorithm!; algorismus, первоначально лат. транслитерация имени ср. азиат. учёного 9 в. Хорезми (Мухаммед бен Муса аль Хорезми)], программа, определяющая способ поведения (вычисления); система правил (предписаний) для эффективного… …   Философская энциклопедия

  • Построение с помощью циркуля и линейки — Построения с помощью циркуля и линейки  раздел евклидовой геометрии, известный с античных времён. В задачах на построение циркуль и линейка считаются идеальными инструментами, в частности: Линейка не имеет делений и имеет сторону бесконечной …   Википедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»